atomless

Look at other dictionaries:

• Boolean algebras canonically defined — Boolean algebras have been formally defined variously as a kind of lattice and as a kind of ring. This article presents them more neutrally but equally formally as simply the models of the equational theory of two values, and observes the… …   Wikipedia

• Simples — Simple is a term from contemporary mereology. A simple is any thing that has no proper parts. Sometimes the term atom is used, although in recent years the term simple has become the standard.Simples are to be contrasted with atomless gunk (where …   Wikipedia

• List of first-order theories — In mathematical logic, a first order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. PreliminariesFor every natural mathematical structure… …   Wikipedia

• Whitehead's point-free geometry — In mathematics, point free geometry is a geometry whose primitive ontological notion is region rather than point. Two axiomatic systems are set out below, one grounded in mereology, the other in mereotopology and known as connection theory… …   Wikipedia

• Back-and-forth method — In mathematical logic, especially set theory and model theory, the back and forth method is a method for showing isomorphism between countably infinite structures satisfying specified conditions. In particular:* It can be used to prove that any… …   Wikipedia

• Gunk — In mereology, the term gunk applies to any whole whose parts all have further proper parts. That is, a gunky object is not made of indivisible atoms . In contrast, an atomic individual is entirely decomposable into atoms. If point sized objects… …   Wikipedia

• Forcing (mathematics) — For the use of forcing in recursion theory, see Forcing (recursion theory). In the mathematical discipline of set theory, forcing is a technique invented by Paul Cohen for proving consistency and independence results. It was first used, in 1963,… …   Wikipedia

• Measurable cardinal — In mathematics, a measurable cardinal is a certain kind of large cardinal number. Contents 1 Measurable 2 Real valued measurable 3 See also 4 References …   Wikipedia

• Cantor space — In mathematics, the term Cantor space is sometimes used to denotethe topological abstraction of the classical Cantor set:A topological space is aCantor space if it is homeomorphic to the Cantor set.The Cantor set itself is of course a Cantor… …   Wikipedia

• Locally convex topological vector space — In functional analysis and related areas of mathematics, locally convex topological vector spaces or locally convex spaces are examples of topological vector spaces (TVS) which generalize normed spaces. They can be defined as topological vector… …   Wikipedia